Paulson L. C. | Buy Cheap Textbooks about Paulson L. C.

Cart Sellback List Order Lookup Support

Your results for: Paulson L. C.

Showing 1 - 7 of 7 Results

1.

Ml for the Working Programmer

Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521565431 List Price: $74.00

$8.95 (Save 87%)

2.

Isabelle/Hol A Proof Assistant for Higher-Order Logic

Isabelle/Hol A Proof Assistant for Higher-Order Logic by Nipkow, Tobias, Paulson, L.... ISBN: 9783540433767 List Price: $69.95

$56.95 (Save 18%)

3.

Isabelle

Isabelle by Paulson, L. C. ISBN: 9783540582441 List Price: $71.95

$52.33 (Save 27%)

4.

Ml for the Working Programmer

Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521390224 List Price: $64.95

OUT OF STOCK

See Availability on Amazon

5.

Ml for the Working Programmer

Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521422253 List Price: $29.95

OUT OF STOCK

See Availability on Amazon

6.

Logic and Computation Interactive Proof With Cambridge Lcf

Logic and Computation Interactive Proof With Cambridge Lcf by Paulson, L. C., van Rijsber... ISBN: 9780521395601 List Price: $61.00

$59.86 (Save 1%)

7.

Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation: Interactive Proof with Cambridge LCF by Paulson, L. C. ISBN: 9780521346320 List Price: $104.99

OUT OF STOCK

See Availability on Amazon